#ifndef __RETARGET_H
#define __RETARGET_H

/*******************************************************************************************************/

/*******************************************************************************************************/
extern int printf(const char *format, ...);
#endif
/*******************************************************************************************************
**                            End Of File
********************************************************************************************************/
